operation on regular languages